projects / llvm-toolchain-9.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2f22675) | patch
Disable z3 to avoid pulling ocaml into main.
authorGianfranco Costamagna <locutusofborg@debian.org>
Fri, 8 Jan 2021 11:48:25 +0000 (11:48 +0000)
committerGianfranco Costamagna <locutusofborg@debian.org>
Fri, 8 Jan 2021 11:48:25 +0000 (11:48 +0000)
commitc6e5e79f0a7d304252837343ec36c8dce75dc699
treedd080f50e203365e8c7fc5be73f107d0900804c9tree | snapshot
parent2f22675a25eb9118bc76b65ff22e16e7833762a0commit | diff
Disable z3 to avoid pulling ocaml into main.

For some reason the cmake option LLVM_ENABLE_Z3_SOLVER was not taken into account
Last-Update: 2019-11-26

Gbp-Pq: Name no-z3.patch
llvm/CMakeLists.txt diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.